…` for readability and ease of testing

…ait.

The test for whatever reason passes now, but I don't think it should.

…rcuitVariable trait.

…leted.

…ven't finished implementing `verify_decoded_mpt_node`)

…s, so there are some bugs.

…put.

… make it easier to debug.

…nnot merge this PR with these changes.

… circuit verificaiton logic/tests for readability & better debugging experience

… Tests still fail.

…s, which is progress.

…ing_rlp_encoding`.

…till fail, but good progress

…cates a problem with the power function. But good progress!

…sts are still incomprehensive, so there's more to do, but the logic seems more or less accurate.

…ase 3 fails

…om the last commit

…se it yet.

… whole self.api.

…ion variable, and also properly set the cubic extension challenger.